// Generated from mccproperty.g by ANTLR 4.0
package parser;
import org.antlr.v4.runtime.tree.*;
import org.antlr.v4.runtime.Token;
import org.antlr.v4.runtime.ParserRuleContext;

public class mccpropertyBaseVisitor<T> extends AbstractParseTreeVisitor<T> implements mccpropertyVisitor<T> {
	@Override public T visitComparer(mccpropertyParser.ComparerContext ctx) { return visitChildren(ctx); }

	@Override public T visitSimple_formula(mccpropertyParser.Simple_formulaContext ctx) { return visitChildren(ctx); }

	@Override public T visitXor(mccpropertyParser.XorContext ctx) { return visitChildren(ctx); }

	@Override public T visitComplex_expression(mccpropertyParser.Complex_expressionContext ctx) { return visitChildren(ctx); }

	@Override public T visitInteger(mccpropertyParser.IntegerContext ctx) { return visitChildren(ctx); }

	@Override public T visitProperty_set(mccpropertyParser.Property_setContext ctx) { return visitChildren(ctx); }

	@Override public T visitAnonymous_bindings(mccpropertyParser.Anonymous_bindingsContext ctx) { return visitChildren(ctx); }

	@Override public T visitProperty(mccpropertyParser.PropertyContext ctx) { return visitChildren(ctx); }

	@Override public T visitMop(mccpropertyParser.MopContext ctx) { return visitChildren(ctx); }

	@Override public T visitUntils(mccpropertyParser.UntilsContext ctx) { return visitChildren(ctx); }

	@Override public T visitIfs(mccpropertyParser.IfsContext ctx) { return visitChildren(ctx); }

	@Override public T visitSpace(mccpropertyParser.SpaceContext ctx) { return visitChildren(ctx); }

	@Override public T visitSimple_formula_liveness(mccpropertyParser.Simple_formula_livenessContext ctx) { return visitChildren(ctx); }

	@Override public T visitOperator(mccpropertyParser.OperatorContext ctx) { return visitChildren(ctx); }

	@Override public T visitNot(mccpropertyParser.NotContext ctx) { return visitChildren(ctx); }

	@Override public T visitAlgebra_operatorm(mccpropertyParser.Algebra_operatormContext ctx) { return visitChildren(ctx); }

	@Override public T visitSimple_expression(mccpropertyParser.Simple_expressionContext ctx) { return visitChildren(ctx); }

	@Override public T visitComplex_formula(mccpropertyParser.Complex_formulaContext ctx) { return visitChildren(ctx); }

	@Override public T visitSimple_formula_next(mccpropertyParser.Simple_formula_nextContext ctx) { return visitChildren(ctx); }

	@Override public T visitAlgebra_operator(mccpropertyParser.Algebra_operatorContext ctx) { return visitChildren(ctx); }

	@Override public T visitSimple_formula_comparer(mccpropertyParser.Simple_formula_comparerContext ctx) { return visitChildren(ctx); }

	@Override public T visitIdentifier(mccpropertyParser.IdentifierContext ctx) { return visitChildren(ctx); }

	@Override public T visitSimple_formula_const(mccpropertyParser.Simple_formula_constContext ctx) { return visitChildren(ctx); }

	@Override public T visitX(mccpropertyParser.XContext ctx) { return visitChildren(ctx); }
}